Llistar TÃtols per Autor "Zhou, Neng-Fa"
S'ha trobat un Ãtem:
| Format | Data | TÃtol | Autor | 
|---|---|---|---|
| Format | Data | TÃtol | Autor | 
|   | 3 setembre 2024 | Encoding the Hamiltonian Cycle Problem into SAT Based on Vertex Elimination | Zhou, Neng-Fa | 
S'ha trobat un Ãtem:
| Format | Data | TÃtol | Autor | 
|---|---|---|---|
| Format | Data | TÃtol | Autor | 
|   | 3 setembre 2024 | Encoding the Hamiltonian Cycle Problem into SAT Based on Vertex Elimination | Zhou, Neng-Fa | 

Constraint programming (Computer science) -- Congresses Programació per restriccions (Informà tica) -- Congressos

Zhou, Neng-Fa Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica